Preservation Theorems in Lukasiewicz Model Theory
نویسنده
چکیده
We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Morleyization in this framework are discussed and some natural examples of fuzzy theories are presented.
منابع مشابه
Preservation theorems in {L}ukasiewicz \model theory
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...
متن کاملOpen theories, consistency and related results in fuzzy logic
The paper deals with fuzzy logic in the narrow sense of Lukasiewicz style, i.e. a special kind of many-valued logic which is aimed at modeling of vagueness phenomenon. This logic is a generalization of Lukasiewicz logic with many interesting properties (for example, generalization of the deduction and completeness theorems hold in it). Our aim is to prepare the background for the resolution in ...
متن کاملSOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.
متن کاملSOME FIXED POINT THEOREMS FOR SINGLE AND MULTI VALUED MAPPINGS ON ORDERED NON-ARCHIMEDEAN FUZZY METRIC SPACES
In the present paper, a partial order on a non- Archimedean fuzzymetric space under the Lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.
متن کاملPreservation Theorems in Finite Model Theory ? Eric Rosen ? ?
We develop various aspects of the nite model theory of L k (9) and L k 1! (9). We establish the optimality of normal forms for L k 1! (9) over the class of nite structures and demonstrate separations among descriptive complexity classes within L k 1! (9). We establish negative results concerning preservation theorems for L k (9) and L k 1! (9). We introduce a generalized notion of preservation ...
متن کامل